MSR: Mining for Scientific Results? Jim Herbsleb School of Computer Science Carnegie Mellon University

Source URL: msr.uwaterloo.ca

Algebraic Persistence the algebra of persistence modules Mikael Vejdemo-Johansson Primoz Skraba School of Computer Science

Source URL: icms.org.uk

Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel

Source URL: rtw.ml.cmu.edu

• Philosophy
• Cognitive science
• Linguistics
• Grammar
• Coupled pattern learner
• Machine learning
• Learning
• Predicate
• Argument
• Control
• Relation
• Educational technology

Distributed Problem Solving in Geometrically-Structured Constraint Networks Roger Mailler and Huimin Zheng University of Tulsa Tandy School of Computer Science Tulsa, Oklahoma

Source URL: www.cs.nmsu.edu

The Tableau Prover Generator MetTeL2 Dmitry Tishkovsky, Renate A. Schmidt, and Mohammad Khodadadi? School of Computer Science, The University of Manchester, UK Abstract. This paper introduces MetTeL2, a tableau prover ge

Source URL: www.cs.man.ac.uk

School of Computer Science Carnegie Mellon University http://women.cs.cmu.edu/ Some Interesting Data….

Source URL: women.cs.cmu.edu

A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK

Source URL: homepages.inf.ed.ac.uk

• Automated theorem proving
• Logic
• Theoretical computer science
• Mathematical logic
• Isabelle
• IsaPlanner
• Proof assistant
• Mathematical proof
• Automated proof checking
• Rippling
• Theorem
• Proof

Distortion as a Validation Criterion in the Identification of Suspicious Reviews Guangyu Wu, Derek Greene, Barry Smyth, Pádraig Cunningham School of Computer Science and Informatics University College Dublin, Ireland

Source URL: snap.stanford.edu

Type Casting Verification: Stopping an Emerging Attack Vector Byoungyoung Lee, Chengyu Song, Taesoo Kim, and Wenke Lee School of Computer Science Georgia Institute of Technology Abstract

Source URL: wenke.gtisc.gatech.edu

Timing attacks in security protocols: symbolic framework and proof techniques? Vincent Cheval1 and V´eronique Cortier2 1 School of Computer Science, University of Birmingham, UK

Source URL: imm.dtu.dk